A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??

Source URL: www.cse.chalmers.se

• Constraint programming
• Constraint
• Constraint logic programming
• Constraint satisfaction

IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware Michelle Y. Wong and David Lie Department of Electrical and Computer Engineering University of Toronto

Source URL: www.eecg.toronto.edu

• Smartphones
• Cross-platform software
• Object-oriented programming languages
• Malware
• Malware analysis
• Android
• Monkey X
• Application programming interface
• Concolic testing
• Event
• Java
• Constraint satisfaction problem

sets-graph-msuc-opt.ipeps

Source URL: tmancini.di.uniroma1.it

• Logic in computer science
• Automated theorem proving
• Constraint programming
• Boolean algebra
• Propositional calculus
• Unsatisfiable core
• Boolean satisfiability problem
• Resolution
• Maximum satisfiability problem
• Satisfiability
• Package manager
• Debian

APPLIED MATHEMATICAL PROGRAMMING USING ALGEBRAIC SYSTEMS by Bruce A. McCarl Professor of Agricultural Economics Texas A&M University

Source URL: agecon2.tamu.edu

• Mathematical optimization
• Operations research
• Linear programming
• Quadratic programming
• Duality
• Nonlinear programming
• Constraint
• Stochastic programming
• Integer programming
• Relaxation
• Constrained optimization
• Simplex algorithm

Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: &

Source URL: repository.readscheme.org

• Constraint programming
• Constraint satisfaction problem
• Lambda calculus
• Constraint
• Constraint logic programming
• Constraint satisfaction

Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗

Source URL: fm.csl.sri.com

• Logic in computer science
• Formal methods
• Procedural programming languages
• Constraint programming
• Satisfiability modulo theories
• Parameter
• Formal verification
• Scheme
• Logic programming
• ALGOL 68
• Decompiler
• Standard ML

Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth∗ Petr Kolman, Martin Kouteck´ y Department of Applied Mathematics, Faculty of Mathematics and Physics,

Source URL: kam.mff.cuni.cz

• Tree decomposition
• Constraint programming
• Treewidth
• Dynamical systems
• Linear algebra
• Decomposition method
• Holographic algorithm

Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th

Source URL: tmancini.di.uniroma1.it

• Constraint programming
• Operations research
• Constraint satisfaction problem
• Local consistency
• Mathematical optimization
• Heuristic
• Integer programming
• Constraint satisfaction
• Search algorithm
• Local search
• Look-ahead
• Decomposition method

Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of

Source URL: tmancini.di.uniroma1.it

• Constraint programming
• Operations research
• Search algorithms
• Constraint satisfaction problem
• Mathematical optimization
• Constraint satisfaction
• Heuristic
• Algorithm
• Duality
• Backtracking
• Travelling salesman problem
• Local consistency

Other nature information English version – SOSI standard 4.0 Other nature information English version – SOSI standard 4.0

Source URL: kartverket.no